$highlight-deletion: if ($highlight-theme == "normal", #fdd, #800000);
$highlight-addition: if ($highlight-theme == "normal", #dfd, #008000);
